$\forall$$A$:es\_realizer\{i:l\}. ($\uparrow$Rplus?($A$)) $\Rightarrow$ sqequal($A$; Rplus(Rplus{-}left($A$); Rplus{-}right($A$)))